Formal Techniques in Real-Time and Fault-Tolerant Systems electronic resource : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings / edited by Bengt Jonsson, Joachim Parrow

Språk
Okänt
Förlag År Ort Om boken ISBN
uuuu-uuuu Utgivningsland okänt / Ej specificerat